A Synchronous Model for Multi-Party Computation and the Incompleteness of Oblivious Transfer Dennis Hofheinz and J¨orn M¨ uller-Quade IAKS, Arbeitsgruppe Systemsicherheit, Prof. Dr. Th. Beth,

Source URL: www.kjdf.de

Forecasting Weather Photograph courtesy of Lloyd Treinish, IBM Thomas J. Watson Research Center. Forecasting the weather requires enormous amounts of data and computation. In order to have an accurate model of the

Source URL: msc2010.org

Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

Source URL: user.it.uu.se

• FO
• Finite model theory
• Finite automata
• Models of computation

International Journal of Interactive Multimedia and Artificial Intelligence, Vol. 4, Nº1 A Distributed Intelligent System for Emergency Convoy M. Benalla, B. Achchab, H. Hrimech Univ. Hassan 1, Higher School of Technol

Source URL: www.ijimai.org

• Transport
• Land transport
• Multi-agent systems
• Artificial intelligence
• Road transport
• Complex systems theory
• Models of computation
• Distributed artificial intelligence
• Agent-based model
• Traffic flow
• Traffic light
• Convoy

Virtual Synaptic Interconnect Using an Asynchronous Network-on-Chip Alexander D. Rast, Shufan Yang, Mukaram Khan, Steve B. Furber Abstract— Given the limited current understanding of the neural model of computation, ha

Source URL: apt.cs.manchester.ac.uk

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts ∗ Ahmed Kosba

Source URL: eprint.iacr.org

• Cryptocurrencies
• Bitcoin
• Blockchain
• Universal composability
• Zerocoin
• Ethereum
• Smart contract
• Secure multi-party computation
• CryptoNote
• Shadow

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Entanglement and Quantum Phase Transition via잸diabatic Quantum Computation Sangchul Oh and Jaewan Kim Korea Institute for Advanced Study We study the entanglment of one- and two-dimensional quantum spin lattice model

Source URL: newton.kias.re.kr

The Inside-Outside Recursive Neural Network model for Dependency Parsing Phong Le and Willem Zuidema Institute for Logic, Language, and Computation University of Amsterdam, the Netherlands {p.le,zuidema}@uva.nl

Source URL: emnlp2014.org

Submitted to ACM Autonomous Agents 99 A Synthetic Agent System for Bayesian Modeling Human Interactions Barbara Rosario, Nuria Oliver and Alex Pentland Vision and Modeling. Media Laboratory MIT,

Source URL: www.nuriaoliver.com

• Complex systems theory
• Simulation
• Scientific modeling
• Multi-agent systems
• Systems science
• Models of computation
• Academia
• Behavior
• Agent-based model
• Agent